$\forall$${\it the\_w}$:World, $e$:E. act($e$) $\in$ \{$a$:Action(loc($e$))$\mid$ $\neg$($\uparrow$isnull($a$))\}